Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Algebra in a Localic Topos with Applications to Ring Theory / Francis Borceux, Gilberte Bossche
| Algebra in a Localic Topos with Applications to Ring Theory / Francis Borceux, Gilberte Bossche |
| Autore | Borceux, Francis |
| Pubbl/distr/stampa | Berlin, : Springer, 1983 |
| Descrizione fisica | xii, 244 p. ; 24 cm |
| Altri autori (Persone) | Bossche, Gilberte |
| Soggetto non controllato |
Algebra
Algebraic sheaf Category Modules Ring theory Rings Topos |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0262276 |
Borceux, Francis
|
||
| Berlin, : Springer, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories / Michael Makkai, Gonzalo E. Reyes
| First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories / Michael Makkai, Gonzalo E. Reyes |
| Autore | Makkai, Michael |
| Pubbl/distr/stampa | Berlin, : Springer, 1977 |
| Descrizione fisica | ii, 318 p. ; 24 cm |
| Altri autori (Persone) | Reyes, Gonzalo E. |
| Soggetto topico |
03G25 - Other algebras related to logic [MSC 2020]
14F20 - Étale and other Grothendieck topologies and (co)homologies [MSC 2020] 03Cxx - Model theory [MSC 2020] 18F20 - Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020] 18F10 - Grothendieck topologies and Grothendieck topoi [MSC 2020] 18A15 - Foundations, relations to logic and deductive systems [MSC 2020] 03F55 - Intuitionistic mathematics [MSC 2020] 03C75 - Other infinitary logic [MSC 2020] |
| Soggetto non controllato |
Category
Category Theory Mathematical logic Morphism Topos |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0260367 |
|
Makkai, Michael
|
||
| Berlin, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Higher topos theory [[electronic resource] /] / Jacob Lurie
| Higher topos theory [[electronic resource] /] / Jacob Lurie |
| Autore | Lurie Jacob <1977-> |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, N.J., : Princeton University Press, 2009 |
| Descrizione fisica | 1 online resource (944 p.) |
| Disciplina | 512/.62 |
| Collana | Annals of mathematics studies |
| Soggetto topico |
Toposes
Categories (Mathematics) |
| Soggetto non controllato |
Adjoint functors
Associative property Base change map Base change CW complex Canonical map Cartesian product Category of sets Category theory Coequalizer Cofinality Coherence theorem Cohomology Cokernel Commutative property Continuous function (set theory) Contractible space Coproduct Corollary Derived category Diagonal functor Diagram (category theory) Dimension theory (algebra) Dimension theory Dimension Enriched category Epimorphism Equivalence class Equivalence relation Existence theorem Existential quantification Factorization system Functor category Functor Fundamental group Grothendieck topology Grothendieck universe Group homomorphism Groupoid Heyting algebra Higher Topos Theory Higher category theory Homotopy category Homotopy colimit Homotopy group Homotopy I0 Inclusion map Inductive dimension Initial and terminal objects Inverse limit Isomorphism class Kan extension Limit (category theory) Localization of a category Maximal element Metric space Model category Monoidal category Monoidal functor Monomorphism Monotonic function Morphism Natural transformation Nisnevich topology Noetherian topological space Noetherian O-minimal theory Open set Power series Presheaf (category theory) Prime number Pullback (category theory) Pushout (category theory) Quillen adjunction Quotient by an equivalence relation Regular cardinal Retract Right inverse Sheaf (mathematics) Sheaf cohomology Simplicial category Simplicial set Special case Subcategory Subset Surjective function Tensor product Theorem Topological space Topology Topos Total order Transitive relation Universal property Upper and lower bounds Weak equivalence (homotopy theory) Yoneda lemma Zariski topology Zorn's lemma |
| ISBN |
1-282-64495-5
9786612644955 1-4008-3055-9 |
| Classificazione |
SI 830
SK 320 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface -- Chapter One. An Overview Of Higher Category Theory -- Chapter Two. Fibrations Of Simplicial Sets -- Chapter Three. The ∞-Category Of ∞-Categories -- Chapter Four. Limits And Colimits -- Chapter Five. Presentable And Accessible ∞-Categories -- Chapter Six. ∞-Topoi -- Chapter Seven. Higher Topos Theory In Topology -- Appendix -- Bibliography -- General Index -- Index Of Notation |
| Record Nr. | UNINA-9910784939903321 |
|
Lurie Jacob <1977->
|
||
| Princeton, N.J., : Princeton University Press, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Higher topos theory [[electronic resource] /] / Jacob Lurie
| Higher topos theory [[electronic resource] /] / Jacob Lurie |
| Autore | Lurie Jacob <1977-> |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, N.J., : Princeton University Press, 2009 |
| Descrizione fisica | 1 online resource (944 p.) |
| Disciplina | 512/.62 |
| Collana | Annals of mathematics studies |
| Soggetto topico |
Toposes
Categories (Mathematics) |
| Soggetto non controllato |
Adjoint functors
Associative property Base change map Base change CW complex Canonical map Cartesian product Category of sets Category theory Coequalizer Cofinality Coherence theorem Cohomology Cokernel Commutative property Continuous function (set theory) Contractible space Coproduct Corollary Derived category Diagonal functor Diagram (category theory) Dimension theory (algebra) Dimension theory Dimension Enriched category Epimorphism Equivalence class Equivalence relation Existence theorem Existential quantification Factorization system Functor category Functor Fundamental group Grothendieck topology Grothendieck universe Group homomorphism Groupoid Heyting algebra Higher Topos Theory Higher category theory Homotopy category Homotopy colimit Homotopy group Homotopy I0 Inclusion map Inductive dimension Initial and terminal objects Inverse limit Isomorphism class Kan extension Limit (category theory) Localization of a category Maximal element Metric space Model category Monoidal category Monoidal functor Monomorphism Monotonic function Morphism Natural transformation Nisnevich topology Noetherian topological space Noetherian O-minimal theory Open set Power series Presheaf (category theory) Prime number Pullback (category theory) Pushout (category theory) Quillen adjunction Quotient by an equivalence relation Regular cardinal Retract Right inverse Sheaf (mathematics) Sheaf cohomology Simplicial category Simplicial set Special case Subcategory Subset Surjective function Tensor product Theorem Topological space Topology Topos Total order Transitive relation Universal property Upper and lower bounds Weak equivalence (homotopy theory) Yoneda lemma Zariski topology Zorn's lemma |
| ISBN |
1-282-64495-5
9786612644955 1-4008-3055-9 |
| Classificazione |
SI 830
SK 320 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface -- Chapter One. An Overview Of Higher Category Theory -- Chapter Two. Fibrations Of Simplicial Sets -- Chapter Three. The ∞-Category Of ∞-Categories -- Chapter Four. Limits And Colimits -- Chapter Five. Presentable And Accessible ∞-Categories -- Chapter Six. ∞-Topoi -- Chapter Seven. Higher Topos Theory In Topology -- Appendix -- Bibliography -- General Index -- Index Of Notation |
| Record Nr. | UNINA-9910818583203321 |
|
Lurie Jacob <1977->
|
||
| Princeton, N.J., : Princeton University Press, 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical concepts / Jürgen Jost
| Mathematical concepts / Jürgen Jost |
| Autore | Jost, Jürgen |
| Pubbl/distr/stampa | [Cham], : Springer, 2015 |
| Descrizione fisica | XV, 312 p. : ill. ; 24 cm |
| Soggetto topico |
14-XX - Algebraic geometry [MSC 2020]
18-XX - Category theory; homological algebra [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 18B25 - Topoi [MSC 2020] 00A06 - Mathematics for nonmathematicians (engineering, social sciences, etc.) [MSC 2020] 18Gxx - Homological algebra in category theory, derived categories and functors [MSC 2020] 92Bxx - Mathematical biology in general [MSC 2020] 00A05 - Mathematics in general [MSC 2020] 20C05 - Group rings of finite groups and their modules (group-theoretic aspects) [MSC 2020] 08Axx - Algebraic structures [MSC 2020] 54A05 - Topological spaces and generalizations (closure spaces, etc.) [MSC 2020] 53C21 - Methods of global Riemannian geometry, including PDE methods; curvature restrictions [MSC 2020] 14A15 - Schemes and morphisms [MSC 2020] 55Nxx - Homology and cohomology theories in algebraic topology [MSC 2020] 53B05 - Linear and affine connections [MSC 2020] 53B20 - Local Riemannian geometry [MSC 2020] 20B05 - General theory for finite permutation groups [MSC 2020] 55U10 - Simplicial sets and complexes in algebraic topology [MSC 2020] 58A05 - Differentiable manifolds, foundations [MSC 2020] 03G30 - Categorical logic, topoi [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 18Axx - General theory of categories and functors [MSC 2020] 01A65 - Contemporary [MSC 2020] 06Bxx - Lattices [MSC 2020] 51K10 - Synthetic differential geometry [MSC 2020] 20A05 - Axiomatics and elementary properties of groups [MSC 2020] 18Fxx - Categories in geometry and topology [MSC 2020] 55P10 - Homotopy equivalences in algebraic topology [MSC 2020] |
| Soggetto non controllato |
Algebraic structures
Category Theory Manifolds Modal Logic Presheave Riemannian geometry Schemes Simplicial Complexes Topological spaces Topos |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0113670 |
|
Jost, Jürgen
|
||
| [Cham], : Springer, 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Model Theory and Topoi : A Collection of Lectures by Various Authors / edited by F. W. Lawvere, C. Maurer and Gavin C. Wraith
| Model Theory and Topoi : A Collection of Lectures by Various Authors / edited by F. W. Lawvere, C. Maurer and Gavin C. Wraith |
| Pubbl/distr/stampa | Berlin, : Springer, 1975 |
| Descrizione fisica | iii, 354 p. : ill. ; 24 cm |
| Soggetto topico |
18-XX - Category theory; homological algebra [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Boundary Element Methods
Classification Finite Language Logic Model theory Semantics Sets Theorem Tools Topos |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0256475 |
| Berlin, : Springer, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Tome 3: Exposés IX à XIX / [un séminaire dirigé par M. Artin, A. Grothendieck, J. L. Verdier ; avec la collaboration de P. Deligne, B. Saint-Donat]
| Tome 3: Exposés IX à XIX / [un séminaire dirigé par M. Artin, A. Grothendieck, J. L. Verdier ; avec la collaboration de P. Deligne, B. Saint-Donat] |
| Pubbl/distr/stampa | Berlin, : Springer, 1973 |
| Descrizione fisica | vi, 640 p. ; 24 cm |
| Soggetto topico |
14-XX - Algebraic geometry [MSC 2020]
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020] |
| Soggetto non controllato |
Geometry
Topos |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNICAMPANIA-VAN0255901 |
| Berlin, : Springer, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||